Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle
نویسندگان
چکیده
We report the results obtained during the verification of Autosub6000, an autonomous underwater vehicle used for deep oceanic exploration. Our starting point is the Simulink/Matlab engineering model of the submarine, which is discretised by a compiler into a representation suitable for model checking. We assess the ability of the vehicle to function under degraded conditions by injecting faults automatically into the discretised model. The resulting system is analysed by means of the model checker MCMAS, and conclusions are drawn on the system’s ability to withstand faults and to perform self-diagnosis and recovery. We present lessons learnt from this and suggest a general method for verifying autonomous vehicles.
منابع مشابه
Identification of an Autonomous Underwater Vehicle Dynamic Using Extended Kalman Filter with ARMA Noise Model
In the procedure of designing an underwater vehicle or robot, its maneuverability and controllability must be simulated and tested, before the product is finalized for manufacturing. Since the hydrodynamic forces and moments highly affect the dynamic and maneuverability of the system, they must be estimated with a reasonable accuracy. In this study, hydrodynamic coefficients of an autonomous un...
متن کاملAutonomous Underwater Vehicle Hull Geometry Optimization Using a Multi-objective Algorithm Approach
Abstarct In this paper, a new approach to optimize an Autonomous Underwater Vehicle (AUV) hull geometry is presented. Using this methode, the nose and tail of an underwater vehicle are designed, such that their length constraints due to the arrangement of different components in the AUV body are properly addressed. In the current study, an optimal design for the body profile of a torpedo-shaped...
متن کاملDesign of Robust Finite-Time Nonlinear Controllers for a 6-DOF Autonomous Underwater Vehicle for Path Tracking Objective
In this paper, kinematic and dynamic equations of a 6-DOF (Degrees Of Freedom) autonomous underwater vehicle (6-DOF AUV) are introduced and described completely. By developing the nonsingular terminal sliding mode control method, three separate groups of control inputs are proposed for the autonomous underwater vehicle subjected to uncertainties including parametric uncertainties, unmodeled dyn...
متن کاملDesign and Experimental Evaluation of integrated orientation estimation algorithm Autonomous Underwater Vehicle Based on Indirect Complementary Filter
This paper aims is to design an integrated navigation system constituted by low-cost inertial sensors to estimate the orientation of an Autonomous Underwater Vehicle (AUV) during all phases of under water and surface missions. The proposed approach relied on global positioning system, inertial measurement unit (accelerometer & rate gyro), magnetometer and complementary filter technique. Complem...
متن کاملInvestigation on Nose and Tail Shape Effects on Hydrodynamic Parameters in Autonomous Underwater Vehicles
Development of autonomous underwater vehicles (AUVs) which meets the design constraints and provides the best hydrodynamic performance is really an important challenge in the field of hydrodynamics. In this paper a new profile is used for designing the hull of AUVs. The nose and tail profiles of an AUV using presented profile is designed such that it can properly consider the length constraints...
متن کامل